#ifndef DEFENS_VERIFY_FIXRACE_H
#define DEFENS_VERIFY_FIXRACE_H

#include <stdio.h>
#include <vector>
#include <set>
#include <sstream>
#include <fstream>
#include <iostream>

#define TERN_CAPTURE_INPUT ("tern_capture_input")

#endif

